Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2020 Utgivningsland okänt / Ej specificerat